Strategy-based Program Synthesis with Ioss
نویسندگان
چکیده
This paper presents the program synthesis system IOSS (Integrated Open Synthesis System). It is based on the concept of strategy as a uniform representation of development knowledge making the integration of diierent synthesis methods possible. The implemented system is an instantiation of a generic system architecture designed to provide machine support for the application of formal methods in software development. The properties of the system are demonstrated by means of a sample development.
منابع مشابه
A Generic System Architecture for Strategy-based Software Development
We present a formalism independent approach to the design of tools supporting the application of formal methods in software development. It consists of a concept to represent problem solving knowledge, called strategies, and a generic architecture showing how to implement tools for strategy-based development. A prototype system for program synthesis called IOSS is described in some detail. It d...
متن کاملSix Steps Towards Provably Safe
We present an approach to the speciication and implementation of provably safe software. It uses well-established tools and techniques that are usually employed to ensure correctness, rather than safety, of software. The approach comprises six steps, each of which is complemented by some proof obligations. For each step, the safety-related aspects are clearly elaborated. Thus, designers of safe...
متن کاملSmall Business Alliances: A Framework for Internet-Enabled Strategic Advantage
The essential difference between small businesses and large corporations is found in their corporate structure. Similarly, the inter-organizational systems (IOSs) formed between small businesses to support strategic alliances and community-like networks have different requirements and functions Ffrom those formed between large corporations. This paper discusses the differences between the IOSs ...
متن کاملSmall Business Alliances: Internet-enabled Strategic Advantage
The essential difference between small businesses and large corporations is found in their corporate structure. Similarly, the inter-organizational systems (IOSs) formed between small businesses to support strategic alliances and community-like networks have different requirements and functions from those formed between large corporations. This paper discusses the differences between the IOSs c...
متن کاملClassifying B2B Inter-Organizational Systems: A Role Linkage Perspective*
This paper aims at developing a framework for business-to-business (B2B) inter-organizational systems (IOSs), based on real-world IOS examples. Based upon two dimensions, role linkage and system support level, we propose a new framework that classifies IOSs into four basic types: (1) resource pooling, (2) operational cooperation, (3) operational coordination, and (4) complementary cooperation. ...
متن کامل